[RFC 1/3] Floating Point changes