The heaviest Martinez has ever fought was 159.5... and that only happened twice.
0.5 lb don't mean shit. End of debate.