f17d1e509e
Different rounding mode used for float->int conversion Reviewed-by: malenkov
Different rounding mode used for float->int conversion Reviewed-by: malenkov