Distributed-memory, arbitrary-precision, dense and sparse-direct linear algebra,
conic optimization, and lattice reduction.