Just use prefix:<+> instead of .Num or .Int

This way everything roundtrips OK