NumericExtensions version 0.2.13