Create seal_math.h