La dimensione dei caratteri può essere espressa anche con valori non interi: mi è capitato anche di utilizzare font a dimensione 6,5 o a 6,3. La grandezza giusta è quella che, una volta eseguita la stampa, va bene al committente.