make bitlength of float explicit