MARCHE Claude authored Nov 23, 2017 and Guillaume Melquiond committed Nov 23, 2017

code for expanding range decls and float decls is now shared between
theories and modules, avoiding any further inconsistencies