Reviewed-by: jasper
Summary: Different rounding mode used for float->int conversion Reviewed-by: malenkov
Reviewed-by: jasper, ohair