Use numeric_std