Use REAL_VALUE_TO_TARGET_{DOUBLE,SINGLE} to print float values
drwxr-xr-x - gcc