encode package:numeric-prelude