Does the proof that \\(f(x)=n*x\\) are the only functions of the reals that are addition-preserving strictly need to use the full axiom of choice?

Does the condition hold in constructive varients of math?