Bugfix: fix NMPrecision