It's the "large"/high-DPI version of the font, intended for larger displays and resolutions like 1024x768 and up. The size and style of the system font in Windows 3 is not fixed, but depends on your display driver and what mode it's in. There would often be different choices like "1024x768 (small fonts)" and "1024x768 (large fonts)"