Added `AMetric` instances for Int/Integer

This is just implemented using a clever `mapping (iso fromIntegral
fromIntegral) :: Iso' (Maybe Int) (Maybe (Signed Int64))` Iso. This is
nice in that now the default `Num` resolution is passed to `metric_sint`
instead of `metric_double`.