This is what strong typing is about - not having to specify the exact arbitrary machine types for a particular implementation, but using compiler checked types

This is what strong typing is about - not having to specify the exact arbitrary machine types for a particular implementation, but using compiler checked types to enforce invariants of a design.