"That's how floating point errors and triangle numbers solved a mystery."