Finer typing, compare Floats with tolerance