Convert tolerance to NonNegativeInt to NonNegativeFloat