Consider making this precise64 since we all have 64-bit workstations.