Bugfix: NMPrecision