style fixups
updated path to formal numerics library