Implemented the float type.