concrete syntax: parse floats/doubles correctly, export Euclidean div.
ivory language: export ivoryBlk quasiquotes.