update top-level forms for computing :C to a greater numeric accuracy