Re: [Vm-dev] positive32BitValueOf: fail with LargePositiveInteger