[Vm-dev] positive32BitValueOf: fail with LargePositiveInteger