string const saveflt = cnts.current_float();
// Tell to captions what the current float is
cnts.current_float(params().type);
string const saveflt = cnts.current_float();
// Tell to captions what the current float is
cnts.current_float(params().type);