MIPS COP1X (and related) instructions, by Richard Sandiford.