想象一下，我有一张这样的表：
id | value
----|------
1 | 1200
2 | 3450
3 | 1230
4 | 1245
5 | 4512
id和value都是整数，现在我想过滤value以12开头的所有行，在这种情况下我想要这些ID：1,3,4。
我想到了一些不同的方法：
value字段投放到String，然后使用LIKE或regex过滤div将这些值除以100然后进行比较Shif-Right将这些值移动2然后比较在第一种情况下，我不太确定性能，因为使用字符串可以获得最多的时间。
在第三种情况下，我不知道该怎么做，或者甚至可以做那样的事情？
一般来说，我想知道最好的做法是什么，怎么做？有没有更好的方法让我无法找到？
此外，我使用Postgres并使用SQLalchemy ORM， 因此，将接受SQL查询或SQLalchemy查询。