Synopsis
int debug_getd(double *);
Description

debug_getd reads a double from the Debug Terminal. The number is written to the double object pointed to by d.

debug_getd returns zero on success or -1 on error.