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.
(cherry picked from commit 74ea0ecb4a)

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;
 }