なるほど。やっぱり @overloadPrecedence(800) みたいなので決められるのがいいんじゃないか。