Add and use FIPS conversion service