Font sizes in mIRC appear to always be integer.

So the following will show the font size in points:

Code
//echo -a $window($active).font - $round($calc($window($active).fontsize * 3 / 4),0)