WordTimes is located in:
m3front/src/builtinWord/WordTimes.i3
m3front/derived/WordTimes.i3