Re: [Vm-dev] Aarch64 number bug