VM: type really should be fixnum here
VM: should be fixnum here too