Orobio de Castro, Isaac formerly Baltasar, active 18th century, Spanish mathematician