extension-based math with python