How about double dot, dot, and no dot releases, (for the number of decimals in it.) I do believe having terminology for this would be good and cool. <b><i><u><font class="Apple-style-span" size="6"><font class="Apple-style-span" color="#ff0000" style="background-color: rgb(255, 255, 0);">+</font><font class="Apple-style-span" color="#33ff33" style="background-color: rgb(255, 153, 0);">0.</font><font class="Apple-style-span" color="#33ffff" style="background-color: rgb(51, 0, 51);">5</font></font></u></i></b>