added test for UInt64.divide