Floating point number implementation
