BUG: floats cannot be ranked with tolerance