NonNegativeFloat