Learning In Practice: Reasoning About Quantization