djowel May 5, 2019 •

edited

Author Member

BTW, the default real number policies also assume base 10 (both Qi and X3).