fixed numeric_limits; jenkins should build now