changed number formats for 64bit