var DT_MIPS_NUM: Int32 { get }