extF80_to_f32.c revision 5cd8d2b9
1