[fc417fc802]

And yet a great many applications that use numbers with a decimal point will involve rounding and/or inexact matches.