Fixed precision bug in UInt