World's oldest known decimal point discovered in merchant's notes from 1440s Italy