Adding utilities for handling floating point numbers