Implement first few bigmath ops for decomposition