Machado has zero, and he'd be in the Orioles lineup next year if he wasn't rushed, for whatever that's worth.
Granted I'm not making a 1:1 between them as Devers isn't quite on Machado's level, but his pedigree isn't too far off (both peaked in the BA top 20, Machado #11, Devers #18; BP 8 and...