Determinant/sonsi — pull request #1 by sjtufs (2013-08-07 01:04:14+00:00)
Title: Update builtin.cpp

hehe