[types] Float type.