Change float to double in most places