Added floating-point feasibility test