narrowing down rounding error to use of Norm1 module