let get_precision = function | SQL_db.Double (opt, _) | SQL_db.Float (opt, _) | SQL_db.Decimal (opt, _) -> Dbf_misc.apply_opt snd opt | _ -> None