67' + 56' = 123', minus 3' for the wire/rope splice, = ~120'
That seems ....maybe a little short....
anecdotally, I made a new main halyard a couple of years back, didn't know how long it needed to be, so I made it 120' from shackle to tail, figuring I could trim off the excess. It ended up about 15' longer than it needed to be, so I ended up at about 105' on my 32-III, with enough on the tail end to go around the winch a couple of times. Since then I've made a couple of spinnaker halyards at 105' and they work great.
If we figure the E-38 mast is about 7 feet taller, and assume the run along the cabin-top is a few feet longer.... my guess is that'd mean an E38 halyard should be maybe 18' longer than mine.
I'd recommend measuring (easy to do, just run the dumb-end of a tape-measure up the mast on the existing halyard)... figure 2x the distance from deck to masthead, plus a foot or two to account for the shackle and masthead sheave, plus the distance along the deck, plus a a few feet to provide for a couple of wraps around the winch and a tail to grab... and then add a few feet, just because. It's much easier to shorten a halyard than it is to lengthen one.
$.02
Bruce