(assert((_ zero_extend 8.0