math: test cases for rounding functions