TechEmpower.FrameworkBenchmarks/frameworks/PHP/zend1/application/models/WorldRow.php

<?php
class Model_WorldRow extends Zend_Db_Table_Row_Abstract {
	public function __construct($config = array()) {
		if ( array_key_exists('data', $config) ) {
			$config['data']['id'] = (int) $config['data']['id'];
			$config['data']['randomNumber'] = (int) $config['data']['randomNumber'];
		}
		parent::__construct($config);
	}
}