repo for numerics