typo: numberic -> numeric
let type inference run free