FIX: matching floating-point values