Remove sb-int:with-float-traps-masked.