/* Num3.2b.h */
typedef double numType;
numType randNum();