Sqlite.Value.to_double Reference Manual
Sqlite.Value.to_double:
Description:
public
double
to_double ()
created by
valadoc