/*
        header file for IFS FRACTINT conversions
*/
void ifs_menu(void);