Replace all float precision with double float precision, i.e. replace all 'float' with 'double'.