fixing small typo in the documentation of the float_types