FYI: no game engine uses double precision, so that was unavoidable. At least with CryEngine they’ve been able to enlist a lot of the original engine devs to help them do the change.