Is this a bug? Nowhere in the function is the restriction of being under 32bits provided. Seems more like a problem with the specification.