re PR ada/59772 (floating-point constants are not correctly encoded)