fix real type