fails:BigDecimal#<= properly handles NaN values
