[PD] math: to round up and down