check_prelude_math: don't open module under test
check_prelude_math: don't open module under test

conreality/consensus,conreality/consensus,conreality/conreality,conreality/consensus,conreality/conreality,conreality/conreality,conreality/consensus,conreality/conreality,conreality/conreality