Switched to precise64 over precise32