come faccio a visualizzare in forma di 7 un valore che in origine è 7.0, utilizzando printf?