An algebraic/numerical formalism for one-loop multi-leg amplitudes