memory.lua: map(), resolve() now returns uint64_t (instead of double); intel.lua: micro optimization :-)