double -> typedef real