Fix exported name for meanfinite