A calculator backend library