x64: better code for smi literals