Duplicated uses non-negative integer to statically maintain positivity