changed the way int,float,pointer is reported in config.info (from compiled-and-run to more pretty), also added info if the float type is in ieee Rev: src/configure.in:1.760