Time values are not properly truncated

Avatica uses the binary modulo operator to truncate time values by the number of milliseconds in a day, but this operator can result in negative numbers. We should use Math.floorMod() instead. There are also places where numbers are not truncated at all, such as when converting to string.