Show verireal constants with a decimal point.

When displaying a verireal constant value force the display
of the decimal point and trailing zeros. This prevents 2.0,
etc. from being display as "2". which can be confused with
decimal two.

verireal.cc

@@ -174,6 +174,6 @@ verireal operator- (const verireal&l)
 
 ostream& operator<< (ostream&out, const verireal&v)
 {
-      out << v.value_;
+      out << showpoint << v.value_;
       return out;
 }