Pre-quantum mechanics (a mathematician's perspective)