Underexposing at 640 can be done with good results, but I use 1250 all the time and even push it. It's not that bad, especially when printing.
This is ISO 1250 pushed two stops to 5000 with no noise reduction. Yes, it gets noisy, but it does not look bad at full size and prints very well.