Add further numeric rounding tests (#4)