3.910 + a few lines
If you are measuring correctly, .0013 would not need to be bored. Unfortunately I feel the is an error in the equipment or technique. You should not be able to feel .0013". A hot shot Engineer should have her own dial bore gage and setting rings ;-)