[CLN-list] Constructing floating-point numbers