Added DEC and SGIMIPS BinaryFormats (floating-point not implemented yet).