Tighter floating-point type constraints in some cases