NumericExtensions version 0.2.5