Representable floating-point number