FloatType

32-bit IEEE 754 floating point. ~7 significant digits.

public sealed record FloatType : PortableType, IEquatable<PortableType>, IEquatable<FloatType>