Oh, right. Thanks! So that makes it 0.95 digits of "room". (Still clearly not enough, IMHO.)