Consistently use uint64_t for int properties I apparently failed to do this properly on the first attempt. Signed-off-by: Paul Brook <paul@codesourcery.com>