⁵¹The mpopt may be empty if int2ext() is called manually without providing it.