1:- module(tidylog_number_float, [float//1]).    2
    3:- use_module(library(tidylog/common), [format//2,parsing//0]).    4
    5:- use_module(library(dcg/basics), []).    6
    7% Define Prolog floats
    8% (cheat by punting to existing SWI Prolog code)
    9
   10float(F) -->
   11    ( parsing ->
   12        dcg_basics:float(F)
   13    ; [] ->
   14        { float(F) },
   15        format("~g",[F])
   16    )