fix denotation compilation problem by adding package calc