// merge cherry-pick
// port js rounding from PHP math.c
// small fix