Tag NumericExtensions v0.2.18