"Although the real number is double that"