std.prec.max_plus source