This comment is not wrong, but misleading. An input 0x0000000000 would be rejected, even though it is within that range.