US dollars are slightly shorter than Eurodollars because we use base 2. Here $1K generally equals $1,024. However most engineers assume $1,000 as a rule of thumb until the final plans.