Use precise64, general improvements in provisioning