Added the proper conversion to/from IR values.