sapphire/tests/top-level-math.sp